KURT GŐDEL DAYS
International
Symposium on Kurt Gődel´s Scientific Heritage
Tuesday,
25th of April 2006 |
|
9.00 - 10.00 |
Registration |
10.00 - 10.15 |
Opening. Representatives
of Masaryk University and
Brno University of Technology |
10.15 - 11.00 |
|
11.00 - 11.45 |
|
11.45 - 12.30 |
ECKEHART KŐHLER, University of Vienna
Was Brouwer Platonist in Gődel´s Sense? |
12.30 - 14.00 |
Gala dinner, Restaurant Barborka |
14.00 - 14.45 |
JOHN W. DAWSON, JR., Pennsylvania State University, York Who was Kurt Gődel and what did he do? |
14.45 -15.30 |
ALEX BLUM, Bar Ilan University, Ramat-Gan Note on Consistency |
15.30 - 16.00 |
Coffee break |
16.00 - 16.45 |
MARTIN
GOLDSTERN, University of Technology, Vienna
Gődel and
Set Theory |
16.45 - 17.30 |
MILOŠ DOKULIL,
Masaryk University, Brno May Gődel´s
Ideas Be Addressed Philosophicaly? |
17.30 – 18.15 |
PAVEL KLEPÁČ, Masaryk
University, Brno Some Cosmological Solutions of Einstein Equations |
Wednesday, 26th of April 2006 |
|
8.30 – 9.00 |
PETR HÁJEK,
Institute of Computer
Science AS CR, Prague
Gődel - Completeness
- Incompleteness |
9.00 - 10.00 |
ROGER PENROSE,
Mathematical Institute, Oxford University, Oxford
Gődel, Relativity, and the Mind |
10.00 - 11.00 |
Exchange
of greetings with the participants of the Vienna Conference Trip, Toast
Coffee
Break |
11.00 -11.45 |
FRANZ EMBACHER,
University of Vienna Mach, Thirring&Lense, Gődel - Getting Dizzy in Space-Time |
X. Slovensko-české symposium o
analytické filosofii
10th Slovak-Czech Symposium on
Analytical Philosophy
Středa, 26.4.2006 |
|
14.00 - 14.30 |
|
14.30 - 15.00 |
|
15.00 - 15.30 |
Marie Duží: Informativeness of Mathematical
Statements |
|
Přestávka |
16.00 - 16.30 |
|
16.30 - 17.00 |
Jiří Langer: Jak jsou
definovány základní fyzikální veličiny |
17.00 - 17.30 |
Pavel Voráček: Možný klíč k
vysvětlení kvantové povahy světa |
Čtvrtek, 27.4.2006 |
|
9.30 – 10.00 |
Petr Zamarovský:
Reálnost reálných čísel? |
10.00 – 10.30 |
|
|
Přestávka |
11.00 – 11.30 |
Ludmila Dostálová: Hilbert – Gödel – Hintikka |
11.30 – 12.00 |
|
|
Oběd
|
14.00 – 14.30 |
|
14.30 – 15.00 |
Petr Koťátko: Deskripce a
reference: Gödelův a Tichého 'slingshot
argument' |
|
Přestávka |
16.00 – 16.30 |
Jiří Raclavský:
Řešení bludného kruhu a sémantických paradoxů v Transparentní intenzionální
logice |
16.30 – 17.00 |
Barbora Čakovská:
Skúmanie vzťahu blízkoznačnosti za použitia
náležitostí |
|
Přestávka |
18.00 |
Theodora
Műllerová: Brněnští příbuzní Kurta Gödela |
|
Koncert: Marcel
Kapala – varhany Johann
Sebastian Bach: Koncert d moll, BWV 596 (podle Antonia Vivaldiho), skládá se
z části bez názvu, dále Grave, Fuga, Largo e spiccato, Finale Jan
Škrdlík – violoncello Johann
Sebastian Bach: Výběr ze Suity C dur pro sólové violončelo
(Allemande-Courante), BWV 1009 |
Pátek, 28.4.2006 |
|
9.00 – 9.30 |
Marian Zouhar: Substitúcia v extenzionálnych
kontextoch: na okraj jednej diskusie |
9.30 – 10.00 |
Tomáš Čana: O pokroku vo
vedách |
10.00 – 10.30 |
|
|
Přestávka |
11.00 – 11.30 |
Prokop Sousedík: Russellovy úvahy o založení geometrie |
13.00 |
Přestávka Ceremonial Gathering - Slavnostní shromáždění u příležitosti pojmenování
posluchárny jménem Kurta Gödela 28. dubna 2006 ve 13 hod. na Fakultě informačních technologií VUT, Božetěchova 2, Královo Pole, Brno |